///|
pub(all) struct T(Int)

///|
pub fn T::f(x : T) -> Int {
  x.0
}
